Propietat distributiva

En matemàtiques, es diu que un operador ${\displaystyle \circ }$ té la propietat distributiva sobre un operador ${\displaystyle \star }$, o que ${\displaystyle \circ }$ és distributiu respecte de ${\displaystyle \star }$ en un conjunt E si per a tots x, y, z de E, es tenen les propietats següents :^[1][2][3][4]

${\displaystyle x\circ (y\star z)=(x\circ y)\star (x\circ z)}$ (distributiva a la dreta)

${\displaystyle (x\star y)\circ z=(x\circ z)\star (y\circ z)}$ (distributiva a l'esquerra)